Natural language programming

Results: 221



#Item
221Software engineering / Generalized algebraic data type / Type system / Type inference / Entailment / Type safety / Natural deduction / Symbol / Type theory / Logic / Programming language theory

PDF Document

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2005-12-29 03:26:05
UPDATE